71![A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany](https://www.pdfsearch.io/img/832f6e44d5835fb36ed1a78ab6b5299d.jpg) | Add to Reading ListSource URL: www-ps.informatik.uni-kiel.de- Date: 2014-06-15 10:44:19
|
---|
72![Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe](https://www.pdfsearch.io/img/91fcb8410f9e0d6f24fa11af867b9e2b.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.de- Date: 2005-11-20 08:43:18
|
---|
73![Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi](https://www.pdfsearch.io/img/5efc8c59acdd2b8c6a0657965681dbbe.jpg) | Add to Reading ListSource URL: mindmodeling.org- Date: 2014-08-06 20:52:15
|
---|
74![Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering](https://www.pdfsearch.io/img/a7063cd61705bb6bfd828fcd5b93300a.jpg) | Add to Reading ListSource URL: logic.cse.unt.edu- Date: 2010-05-18 10:11:53
|
---|
75![Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe](https://www.pdfsearch.io/img/ceb17a4b8f84c6497652e29f5da648f1.jpg) | Add to Reading ListSource URL: www.jucs.org- Date: 2016-11-29 05:05:01
|
---|
76![Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss](https://www.pdfsearch.io/img/a54e51c91dda7622f38df1eae6803b82.jpg) | Add to Reading ListSource URL: i12www.iti.kit.edu- Date: 2010-06-02 04:06:07
|
---|
77![A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46 A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46](https://www.pdfsearch.io/img/2a762a792e1da3235c2f3cb0cafca749.jpg) | Add to Reading ListSource URL: www10.org- Date: 2001-03-15 03:31:16
|
---|
78![Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa](https://www.pdfsearch.io/img/49e21069eee944cf814f94a82e5b824a.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2008-10-15 15:02:55
|
---|
79![LA CREENCIA Alexander BainTraducción castellana de Armando Daniel OtamendiEste texto, tomado del volumen de Alexander Bain Professor of Logic in the University of Aberdeen, Mental and Moral Science. Part LA CREENCIA Alexander BainTraducción castellana de Armando Daniel OtamendiEste texto, tomado del volumen de Alexander Bain Professor of Logic in the University of Aberdeen, Mental and Moral Science. Part](https://www.pdfsearch.io/img/7b7437f102e3ee95bb82756f26cfed18.jpg) | Add to Reading ListSource URL: www.unav.es- Date: 2010-01-22 05:27:45
|
---|
80![FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK](https://www.pdfsearch.io/img/3ca3592f33e00bf1619cd0c4c491860d.jpg) | Add to Reading ListSource URL: www.cs.man.ac.uk- Date: 2015-02-05 09:51:10
|
---|